• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام
تعداد ۱۶۷۰ پاسخ غیر تکراری از ۱۷۲۲ پاسخ تکراری در مدت زمان ۰,۳۳ ثانیه یافت شد.

1281. Scripting in Java :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Java (Computer program language) ; Programming languages (Electronic computers) ;

رده :

1282. Scripting in Java : languages, frameworks, and patterns

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Bosanac, Dejan.

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
73
.
J38
B6715
2008

1283. Selected reprints in software

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / edited by Marvin V. Zelkowitz

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software,Programming languages (Electronic computers)

رده :
QA
76
.
759
.
S45
1987

1284. Semantic techniques in quantum computation /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Simon Gay, Ian Mackie.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik

رده :
QA76
.
889
.
S36
2010

1285. Semantics With Applications : A Formal Introduction

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-

رده :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992

1286. Semantics and algebraic specificatio

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / Jens Palsberg (ed.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

رده :
QA
,
76
.
7
,.
S435
,
2009

1287. Semantics and algebraic specification

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

رده :

1288. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Neil D. Jones

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
94

1289. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Neil D. Jones

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics

رده :
QA
1
.
L4
v
.
94

1290. Semantics-directed compiler generation: proceedings of workshop Aarhus, Denmark, January, 1980

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Compiling )Electronic computers(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
6
.
W698
1980

1291. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
.
I56
76
.
642
1990

1292. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
666

1293. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
7
.
R49
1992

1294. Semantics of concurrent computation :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Gilles Kahn.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.

رده :
QA76
.
6
E358
1979

1295. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
6
.
I577
1979

1296. Semantics of data types :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.

رده :

1297. Semantics of parallelism :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Michael W. Shields

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics

رده :
QA76
.
58
M534
1997

1298. Semantics of programming languages

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Tennent, R.D.

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
7
.
T473
1991

1299. Semantics of programming languages

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / Carl A. Gunter

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics

رده :
QA
76
.
7
.
G86
1992

1300. Semantics of programming languages

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Tennent, R. D.,4491-,R.D. Tennent

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Programming languages )Electronic computers(- Semantics

رده :
QA
76
.
7
.
T473
  • »
  • 84
  • 83
  • 82
  • 81
  • 80
  • ...
  • 69
  • 68
  • 67
  • 66
  • 65
  • 64
  • 63
  • 62
  • 61
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال